Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is a...(展开全部)

Written by a world-renowned expert on programming methodology, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. Its emphasis is on modular program construction: how to get the modules right and how to organize a program as a collection of modules. The book presents a methodology effective for either an ...(展开全部)

Written by a world-renowned expert on programming methodology, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. Its emphasis is on modular program construction: how to get the modules right and how to organize a program as a collection of modules. The book presents a methodology effective for either an ...(展开全部)

This book is intended for anyone interested in numerical computing and data science: students, researchers, teachers, engineers, analysts, and hobbyists. A basic knowledge of Python/NumPy is recommended. Some skills in mathematics will help you understand the theory behind the computational methods.

This book is intended for anyone interested in numerical computing and data science: students, researchers, teachers, engineers, analysts, and hobbyists. A basic knowledge of Python/NumPy is recommended. Some skills in mathematics will help you understand the theory behind the computational methods.

Every year, a bevy of new phones, games, televisions, and electronic reading devices ride into our lives on a tidal wave of interactive hype. These i-products, while handy, primarily confine their interactivity to the surfaces of screens. Not exactly the kind of "world-changing" transformation we've been promised. In Interactive Architecture, authors Michael Fox and Miles Kemp ...(展开全部)

Dietrich Rueschemeyer is a Brown professor of sociology emeritus and Charles C. Tillinghast Jr. '32 Professor of International Studies emeritus. He currently works on state formation and historical antecedents of socioeconomic development.He was one of the founders of Brown's Center for the Comparative Study of Development, which merged into the Watson Institute. From 1997 to 2...(展开全部)

Product Description It is a commonplace claim of Western political discourse that capitalist development and democracy go hand in hand. Cross-national statistical research on political democracy supports this claim. By contrast, comparative historical studies carried out within a political economy approach argue that economic development was and is compatible with multiple poli...(展开全部)

Treating such contemporary design and development issues as identifying customer needs, design for manufacturing, prototyping, and industrial design, "roduct Design and Development"by Ulrich and Eppinger presents in a clear and detailed way a set of product development techniques aimed at bringing together the marketing, design, and manufacturing functions of the enterprise. Th...(展开全部)